boiler area

Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem., as a whole, is comprehensive by taking in all kinds of factors in consideration, but too abstract and inoperative without further elaborations.

象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。总体来说，此类标准涉及因素全面，但过于抽象概括，具有多解性，可操作性不强。

in the first place, this text shows some perfect comprehensions and elaborations to the development of the juvenile criminal justice system from the macro view angle.

首先从宽严相济之宏观视角入手，从整体上对我国少年刑事司法制度的发展和完善作了一些理解和阐述。

the above expert's elaborations let us know the product credit itself is the producer's credit, is the culture meaning and is the annotation of the enterprise humanities.

上述专家的论述让我们看到了产品信誉的本身是生产者的信誉、文化内蓄、企业人文的诠释。

the conclusion part sums up the elaborations and gives out the opinion and suggestions.

结语对全文所阐述的内容进行了总结，并提出自己的观点和建议。

with respect to theories and thoughts on international relations, the historical discussions, elaborations, and interpretations are of primary significance.

对国际关系理论思想而言，国际关系的历史论述、思考和解释有首要意义；

then, the paper also explores the senses of the verb take by quantitative and qualitative analysis from cognitive perspective. they are divided into three categories: the basic central meaning, the elaborations of take and the metaphorical extensions of take.

其次，本文从认知角度出发，通过定性与定量相结合的研究方法对动词“take”的语义进行研究，并将其分为三个不同的范畴：基本词义，增添和隐喻拓展。

He gave some technical elaborations of his 1854 paper.

他对他的1854年的文章作了某些技术性的加工.

there are different elaborations about the implication of well-being among the scholars of all times and in all over the world. many scholars through the ages are thinking how to obtain the well-being.

关于幸福的涵义古今中外的学者们各有不同的论述，关于如何获得幸福这一命题，古往今来也有不少学者不断的思索、实践着。

in the fourth and fifth part there are elaborations in detail about the design ideals, flow charts, state machine of the presence service, instant message, automatic callback and voice mail, and all kinds of modules of the terminal software.

阐述完相关理论和相关机制后，在接下来的两章中详细阐述了在线服务、即时消息、自动回叫业务和语音信箱的设计思路、流程图、状态迁移以及终端软件的各个模块；

some of the detailed analyses and elaborations of concrete examples of soft news translation are provided in the fourth part.

第四部分是一些有关软新闻翻译的具体实例分析。

besides promoting the artistic value of the text, elaborations on the themes have become a way for the novelist to experience the noble spirits and also an embodiment of the commentator's mind.

《金瓶梅》评点者的题旨论述提升了文本的艺术价值，成为小说家体验崇高的方式，焕化成评点者生命精神的存在表征。

regarding the fdi position choice, the location theory and compromise theory of international production have carried on the good elaborations to it, which shows that there is a certain theoretical foundation for the differences in regional distribution of fdi.

对于FDI的区位选择问题，区位论及国际生产折衷理论都对其进行过很好的论述，说明FDI的区域分布差异是存在一定的理论基础的。

elaborations on treating liver by nourishing spleen

治肝实脾浅诠

a complete method, with elaborations in all areas, such as descriptions of techniques, provides more extensive guidance on testing than rup alone provides.

一种完善的方法，在所有范围中都有详细内容，例如技术的描述，在测试方面提供比RUP单独提供的更广泛的指导。

this thesis launches three partial elaborations from advancing the university campus cultural innovation with "taking the student as the main body" on the campus cultural construction.

本文从以学生为主体推进高校校园文化创新的角度对校园文化建设展开三个部分阐述。

To correct this impression, we need some elaborations.

看来还得先从这里说起.

The elaborations of the plot made it a difficult book to read.

这本书因内容节外生枝而很难懂.

according to the function of the sensor nodes in the positioning system, elaborations on all aspects of the circuit on the hardware side are given.

依据定位系统中传感器节点的功能，从硬件方面对电路的各个环节作了具体阐述。

finally, it makes exhaustive elaborations about the strategies of develop and implement the school-based chinese curriculums among ordinary high schools from the angles of some principals and chinese teachers.

最后，从校长和语文教师两个层面对普通高中语文校本课程开发与实施的策略作了较为详尽的阐述。

elaborations on new regulations of tax refund

出口退税新规定主要内容解读

what astonishes us most is that some abstruse and penetrating elaborations in huangdi neijing, though made 2000 years ago, have revealed some achievements which are being or to be proved by the modern science.

令人颇感惊讶的是，中华先祖们在《内经》里的一些深奥精辟的阐述，虽然早在2000年前，却揭示了许多现代科学正试图证实的与将要证实的成就。

at the cultural level, elaborations are given from the translation of culture-loaded words and some rhetoric devices which can reflect cultural discrepancies, such as metaphor and personification.

文化层面细分为文化承载词和体现文化差异的特定修辞手法，如比喻和拟人。